منابع مشابه
State Space Markov Switching Models Using Wavelets
We propose a state space model with Markov switching, whose regimes are associated with the model parameters and regime transition probabilities are time-dependent. The estimation is based on maximum likelihood method using the EM algorithm. The distribution of the estimators is assessed using bootstrap. To evaluate the state variables and regime probabilities, the Kalman filter and a probabili...
متن کاملMarkov Chain Sampling for Non-linear State Space Models Using Embedded Hidden Markov Models
Abstract. I describe a new Markov chain method for sampling from the distribution of the state sequences in a non-linear state space model, given the observation sequence. This method updates all states in the sequence simultaneously using an embedded Hidden Markov model (HMM). An update begins with the creation of a “pool” of K states at each time, by applying some Markov chain update to the c...
متن کاملColoured Petri net scheduling models: Timed state space exploration shortages
The paper deals with the problem of timed state space generation and exploration in the frame of simulation–optimization pproach for discrete-event systems. Coloured Petri net representation of a system is considered and corresponding techniques f timed state space generation and timed simulation are addressed. It is shown that the established simulation techniques do not erform adequately in s...
متن کاملSymbolic Methods for the State Space Exploration of GSPN Models
Generalised Stochastic Petri Nets (GSPNs) suffer from the same problem as any other state-transition modelling technique: it is difficult to represent sufficient states so that general, real life systems can be analysed. In this paper we use symbolic techniques to perform state space exploration for unstructured GSPNs. We present an algorithm for finding an encoding function which attempts to m...
متن کاملUsing Features Of Models To Improve State Space Exploration
State space methods are a popular approach to perform formal verification. However, these methods suffer from the state space explosion problem. In the past decades many methods did arise to cope with the state spaces of larger models. As result, a user has many different strategies in which state space methods can be applied on new models. Due to the wide variety of strategies and models is ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGMETRICS Performance Evaluation Review
سال: 1992
ISSN: 0163-5999
DOI: 10.1145/149439.133100